From: Stéphane Glondu <glondu@debian.org>
Date: Mon, 15 Dec 2025 06:12:00 +0000 (+0100)
Subject: Mark test_compact_manydomains as multicore
X-Git-Tag: archive/raspbian/5.4.0-1+rpi1^2~9
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=91babde537e60b431f8c9aa320d8a49bf69bd96d;p=ocaml.git

Mark test_compact_manydomains as multicore
---

diff --git a/debian/patches/Mark-test_compact_manydomains-as-multicore.patch b/debian/patches/Mark-test_compact_manydomains-as-multicore.patch
new file mode 100644
index 00000000..cc1dbf04
--- /dev/null
+++ b/debian/patches/Mark-test_compact_manydomains-as-multicore.patch
@@ -0,0 +1,18 @@
+From: =?utf-8?q?St=C3=A9phane_Glondu?= <glondu@debian.org>
+Date: Mon, 15 Dec 2025 07:11:39 +0100
+Subject: Mark test_compact_manydomains as multicore
+
+---
+ testsuite/tests/compaction/test_compact_manydomains.ml | 1 +
+ 1 file changed, 1 insertion(+)
+
+diff --git a/testsuite/tests/compaction/test_compact_manydomains.ml b/testsuite/tests/compaction/test_compact_manydomains.ml
+index 6d26260..6441fe8 100644
+--- a/testsuite/tests/compaction/test_compact_manydomains.ml
++++ b/testsuite/tests/compaction/test_compact_manydomains.ml
+@@ -1,4 +1,5 @@
+ (* TEST
++ multicore;
+ *)
+ 
+ let num_domains = 20
diff --git a/debian/patches/series b/debian/patches/series
index e0d2d81f..73003fc9 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -2,3 +2,4 @@ Put-manpages-in-section-3o-instead-of-3.patch
 Trigger-output-complete-exe-on-custom-with-an-enviro.patch
 Do-not-error-on-warnings-in-autoconf.patch
 Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
+Mark-test_compact_manydomains-as-multicore.patch